#include <stdio.h> 
#define MAX 10

int main(int ac, char *av[]){
	volatile int counter;
	{%VARIABLES_DEFINE%}
	{%COUNTER_ADDR%}
	
	counter = (volatile int)*p;

	switch (counter){
		{%SWITCH_CASE%}
		default:
			printf("Error while read from counter\n");
			exit(0);
	}
	return 0; // Never executed, just for compatibility
}
